Uniformity and the Taylor expansion of ordinary lambda-terms
نویسندگان
چکیده
منابع مشابه
Böhm trees, Krivine machine and the Taylor expansion of ordinary lambda-terms
We show that, given an ordinary lambda-term and a normal resource lambda-term which appears in the normal form of its Taylor expansion, the unique resource term of the Taylor expansion of the ordinary lambda-term reducing to this normal resource term can be obtained by running a version of the Krivine abstract machine.
متن کاملNormalizing the Taylor expansion of non-deterministic {\lambda}-terms, via parallel reduction of resource vectors
It has been known since Ehrhard and Regnier’s seminal work on the Taylor expansion of λ-terms that this operation commutes with normalization: the expansion of a λ-term is always normalizable and its normal form is the expansion of the Böhm tree of the term. We generalize this result to the non-uniform setting of the algebraic λ-calculus, i.e., λ-calculus extended with linear combinations of te...
متن کاملExternal and Internal Incompressible Viscous Flows Computation using Taylor Series Expansion and Least Square based Lattice Boltzmann Method
The lattice Boltzmann method (LBM) has recently become an alternative and promising computational fluid dynamics approach for simulating complex fluid flows. Despite its enormous success in many practical applications, the standard LBM is restricted to the lattice uniformity in the physical space. This is the main drawback of the standard LBM for flow problems with complex geometry. Several app...
متن کاملA HOMOTOPY PERTURBATION ALGORITHM AND TAYLOR SERIES EXPANSION METHOD TO SOLVE A SYSTEM OF SECOND KIND FREDHOLM INTEGRAL EQUATIONS
In this paper, we will compare a Homotopy perturbation algorithm and Taylor series expansin method for a system of second kind Fredholm integral equations. An application of He’s homotopy perturbation method is applied to solve the system of Fredholm integral equations. Taylor series expansin method reduce the system of integral equations to a linear system of ordinary differential equation.
متن کاملSolving Volterra Integral Equations of the Second Kind with Convolution Kernel
In this paper, we present an approximate method to solve the solution of the second kind Volterra integral equations. This method is based on a previous scheme, applied by Maleknejad et al., [K. Maleknejad and Aghazadeh, Numerical solution of Volterra integral equations of the second kind with convolution kernel by using Taylor-series expansion method, Appl. Math. Comput. (2005)] to gain...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Theor. Comput. Sci.
دوره 403 شماره
صفحات -
تاریخ انتشار 2008